Functions not satisfying implicit, polynomial ODE
نویسندگان
چکیده
منابع مشابه
Satisfying Subtype Inequalities in Polynomial Space
This paper studies the complexity of type inference in-calculus with subtyping. Type inference is equivalent to solving systems of subtype inequalities. We consider simple types ordered structurally from an arbitrary set of base subtype assumptions. In this case, we give a PSPACE upper bound. Together with the known lower bound, this result settles completely the complexity of type inference ov...
متن کاملUnified implicit common fixed point theorems under nonnegative complex valued functions satisfying the identity of indiscernible
In this paper, we consider a nonnegative complex valued function satisfying the identity of indiscernible and utilize the same to prove some common fixed point theorems for two pairs of non-vacuously weakly compatible mappings satisfying an implicit relation having rational terms as its co-ordinates. Some illustrative examples are also given which demonstrate the validity of the hypotheses of o...
متن کاملEvolving Implicit Polynomial Interfaces
Although algebraic or so-called “implicit polynomial” curves have been studied rather extensively for several decades, to the best of our knowledge, a dynamic formulation of them, similar to active contours, has not been done yet. This paper develops a dynamic formulation for implicit polynomial curves based on level set formalism. In particular, it is shown that utilization of an implicit poly...
متن کاملEvolving Implicit Polynomial Interfaces
Although algebraic or so called “implicit polynomial” curves/surfaces have been studied rather extensively for several decades, to the best of our knowledge, a dynamic formulation of them, similar to active contours, has not been done yet. This paper proposes to use implicit polynomial functions instead of signed distance functions in classical level set formulation and shows potential of such ...
متن کاملTriangularly Implicit Iteration Methods for ODE-IVP Solvers
It often happens that iteration processes used for solving the implicit relations arising in ODE-IVP methods only start to converge rapidly after a certain number of iterations. Fast convergence right from the beginning is particularly important if we want to use so-called step-parallel iteration in which the iteration method is concurrently applied at a number of step points. In this paper, we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Differential Equations
سال: 2007
ISSN: 0022-0396
DOI: 10.1016/j.jde.2007.05.025